induction of inequalities